New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix Optional.fromPath #122

Merged

gcanti merged 1 commit into gcanti:master from mikearnaldi:master

May 27, 2020

Contributor

mikearnaldi commented May 27, 2020 •

edited

Loading

Fixes a bug in Optional.fromPath that I spotted reimplementing a naked variant of monocle:


          Fix Optional.fromPath

0a720f3

gcanti merged commit a79a55e into gcanti:master

Owner

gcanti commented May 27, 2020

Thanks @mikearnaldi

gcanti added the bug label

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

bug